package sketch.main;

import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;
import junit.framework.TestCase;

public class MixRandomSymbolicValuesExample extends TestCase {
	
	@TestSketch
	public void testTreeMapMix() {
		treemap.TreeMap map = Values.randomCreate(treemap.TreeMap.class);
		map.remove(Values.symbolicInt());
	}
	
}